Fuzzy refutations for probability and multivalued logics
نویسندگان
چکیده
منابع مشابه
Fuzzy Multivalued Logics and T-Norms
Fuzzy logic in narrow sense: A summary on t-norm-based logics In the seventies and eighties operations over [0,1] corresponding to connectives of a multi-valued logic has been studied and used to define Fuzzy Set operations. From then t-norms, t-conorms, negation and implication functions have been widely studied and applied. The nineties were the start point of the study of the kernel of fuzzy...
متن کاملFuzzy and Probability Uncertainty Logics
Probability theory and fuzzy logic have been presented as quite distinct theoretical foundations for reasoning and decision making in situations of uncertainty. This paper establishes a common basis for both forms of logic of uncertainty in which a basic uncertainty logic is defined in terms of a valuation on a lattice of propositions. The (non-truth-functional) connectives for conjunction, dis...
متن کاملDescription Logics and Fuzzy Probability
Uncertainty and vagueness are pervasive phenomena in real-life knowledge. They are supported in extended description logics that adapt classical description logics to deal with numerical probabilities or fuzzy truth values. While the two concepts are distinguished for good reasons, they combine in the notion of probably, which is ultimately a fuzzy qualification of probabilities. Here, we devel...
متن کاملComplexity of Fuzzy Probability Logics
The satisfiability problem for the logic FP(Ł) (fuzzy probability logic over Łukasiewicz logic) is shown to be NP-complete; satisfiability in FP(ŁΠ) (the same over the logic joining Łukasiewicz and product logic) is shown to be in PSPACE.
متن کاملMultivalued logics and Topics
There are several practical problems of knowledge representation where it is more natural to talk in terms of the set of sentences related to a given topic than to make explicit all the sentences in this set. A problematic feature of classical logic is that if we want to represent this set by a small set which is closed under logical consequence, we can generate sentences related to new topics....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 1994
ISSN: 0888-613X
DOI: 10.1016/0888-613x(94)90020-5